(assert (let #x0
